Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
41	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Information Knowledge Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
42	Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2016-05-17 09:23:43 Avionics Aircraft collision avoidance systems Warning systems Traffic collision avoidance system Technology
43	How Euler Did It by Ed Sandifer Formal Sums and Products July 2006 Two weeks ago at our MAA Section meeting, George Andrews gave a nice talk about the delicate and beautiful relations among infinite sums, infinite produc Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Mathematics Mathematical analysis Analysis Meromorphic functions Integer sequences Infinite product Multiplication Gamma function Series Riemann zeta function Constructible universe Prime number
44	MOA: Massive Online Analysis, a Framework for Stream Classification and Clustering. Albert Bifet1 , Geoff Holmes1 , Bernhard Pfahringer1 , Philipp Kranen2 , Hardy Kremer2 , Timm Jansen2 , and Thomas Seidl2 1 Add to Reading List Source URL: moa.cs.waikato.ac.nz Language: English - Date: 2014-11-07 23:43:25 Data mining Statistics Computational statistics Software Machine learning Massive Online Analysis Cluster analysis Formal sciences Data stream mining K-means clustering Concept drift Weka
45	Submarine Transit Lanes Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:23 Computing Clothing Data types Mathematical analysis Formal languages C++ String C++ string handling Extensible Storage Engine Type conversion Thong Pi
46	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
47	Creedo—Scalable and Repeatable Extrinsic Evaluation for Pattern Discovery Systems by Online User Studies Mario Boley, Maike Krause-Traudes, Bo Kang and Björn Jacobs University of Bonn and Fraunhofer IAIS Schloss Birli Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2015-07-24 15:50:18 Formal sciences Academia Information technology Computing Data mining Business intelligence Usability Data management Evaluation Data analysis Association rule learning Pattern recognition
48	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing
49	A Multiple Testing in Statistical Analysis of Systems-Based Information Retrieval Experiments BENJAMIN A. CARTERETTE, University of Delaware High-quality reusable test collections and formal statistical hypothesis testi Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2013-05-22 19:25:57 Statistics Statistical theory Hypothesis testing Statistical inference Statistical tests Parametric statistics Design of experiments F-test Statistical hypothesis testing Null hypothesis P-value Resampling
50 $Algebra / Mathematics / Abstract algebra / Polynomials / Mathematical analysis / Ring theory / Polynomial / Field / Continued fraction / Fraction / Formal derivative / Derivative$	Continued fractions over function fields Bachelorscriptie Wiskunde David VenhoekBegeleider: Wieb Bosma August 28, 2013 Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2016-04-17 06:40:13 Algebra Mathematics Abstract algebra Polynomials Mathematical analysis Ring theory Polynomial Field Continued fraction Fraction Formal derivative Derivative

UPDATE